Results for 'Markus Sebastiaan Paul Rogier van Atten'

1000+ found
Order:
  1.  81
    Brouwer meets Husserl: on the phenomenology of choice sequences.Markus Sebastiaan Paul Rogier van Atten - 2007 - Dordrecht: Springer.
    Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost? And are there objects of pure mathematics that can change through time? Mathematician and philosopher L.E.J. Brouwer argued that the two questions are closely related and that the answer to both is "yes''. To this end he introduced a new kind of object into mathematics, the choice sequence. But (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  2.  21
    Bespr. van: Husserl or Frege? Meaning, objectivity, and mathematics (Claire Ortiz Hill and Guillermo E. Rosado Haddock). [REVIEW]Markus Van Atten - 2003 - Philosophia Mathematica 11 (2):241-244.
  3. Peer review versus editorial review and their role in innovative science.Nicole Zwiren, Glenn Zuraw, Ian Young, Michael A. Woodley, Jennifer Finocchio Wolfe, Nick Wilson, Peter Weinberger, Manuel Weinberger, Christoph Wagner, Georg von Wintzigerode, Matt Vogel, Alex Villasenor, Shiloh Vermaak, Carlos A. Vega, Leo Varela, Tine van der Maas, Jennie van der Byl, Paul Vahur, Nicole Turner, Michaela Trimmel, Siro I. Trevisanato, Jack Tozer, Alison Tomlinson, Laura Thompson, David Tavares, Amhayes Tadesse, Johann Summhammer, Mike Sullivan, Carl Stryg, Christina Streli, James Stratford, Gilles St-Pierre, Karri Stokely, Joe Stokely, Reinhard Stindl, Martin Steppan, Johannes H. Sterba, Konstantin Steinhoff, Wolfgang Steinhauser, Marjorie Elizabeth Steakley, Chrislie J. Starr-Casanova, Mels Sonko, Werner F. Sommer, Daphne Anne Sole, Jildou Slofstra, John R. Skoyles, Florian Six, Sibusio Sithole, Beldeu Singh, Jolanta Siller-Matula, Kyle Shields, David Seppi, Laura Seegers, David Scott, Thomas Schwarzgruber, Clemens Sauerzopf, Jairaj Sanand, Markus Salletmaier & Sackl - 2012 - Theoretical Medicine and Bioethics 33 (5):359-376.
    Peer review is a widely accepted instrument for raising the quality of science. Peer review limits the enormous unstructured influx of information and the sheer amount of dubious data, which in its absence would plunge science into chaos. In particular, peer review offers the benefit of eliminating papers that suffer from poor craftsmanship or methodological shortcomings, especially in the experimental sciences. However, we believe that peer review is not always appropriate for the evaluation of controversial hypothetical science. We argue that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  16
    Rationalität im Gespräch: philosophische und theologische Perspektiven: Christoph Schwöbel zum 60. Geburtstag = Rationality in conversation: philosophical and theological perspectives.Christina Drobe, Dirk-Martin Grube, Alexander Kupsch, Paul Silas Peterson, Martin Wendte & Markus Mühlung (eds.) - 2016 - Leipzig: Evangelische Verlagsanstalt.
    English summary: It seems that reason is less a universal principle than something inherently bound to the contexts in which it appears. These contributions to a conference held on the occasion of Christoph Schwobel's 60th birthday explore the character of reason's manifold contexts: the grounding of reason in the inner word of God 's Trinitarian life as well as the disclosure of reason and and its limits in human conversation. German description: Vernunft scheint in der Gegenwart weniger ein allgemeines Prinzip (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  54
    Proceedings of the 4th World Conference on Research Integrity: Brazil, Rio de Janeiro. 31 May - 3 June 2015.Lex Bouter, Melissa S. Anderson, Ana Marusic, Sabine Kleinert, Susan Zimmerman, Paulo S. L. Beirão, Laura Beranzoli, Giuseppe Di Capua, Silvia Peppoloni, Maria Betânia de Freitas Marques, Adriana Sousa, Claudia Rech, Torunn Ellefsen, Adele Flakke Johannessen, Jacob Holen, Raymond Tait, Jillon Van der Wall, John Chibnall, James M. DuBois, Farida Lada, Jigisha Patel, Stephanie Harriman, Leila Posenato Garcia, Adriana Nascimento Sousa, Cláudia Maria Correia Borges Rech, Oliveira Patrocínio, Raphaela Dias Fernandes, Laressa Lima Amâncio, Anja Gillis, David Gallacher, David Malwitz, Tom Lavrijssen, Mariusz Lubomirski, Malini Dasgupta, Katie Speanburg, Elizabeth C. Moylan, Maria K. Kowalczuk, Nikolas Offenhauser, Markus Feufel, Niklas Keller, Volker Bähr, Diego Oliveira Guedes, Douglas Leonardo Gomes Filho, Vincent Larivière, Rodrigo Costas, Daniele Fanelli, Mark William Neff, Aline Carolina de Oliveira Machado Prata, Limbanazo Matandika, Sonia Maria Ramos de Vasconcelos & Karina de A. Rocha - 2016 - Research Integrity and Peer Review 1 (Suppl 1).
    Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research ethics” in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  72
    Two Draft Letters from Godel on Self-knowledge of Reason.Mark van Atten - 2006 - Philosophia Mathematica 14 (2):255-261.
    In his text ‘The modern development of the foundations of mathematics in the light of philosophy’ from around 1961, Gödel announces a turn to Husserl's phenomenology to find the foundations of mathematics. In Gödel's archive there are two draft letters that shed some further light on the exact strategy that he formulated for himself in the early 1960s. Transcriptions of these letters are presented, together with some comments.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  26
    On Gödel's awareness of Skolem's Helsinki lecture.Mark van Atten - 2005 - History and Philosophy of Logic 26 (4):321-326.
    Gödel always claimed that he did not know Skolem's Helsinki lecture when writing his dissertation. Some questions and doubts have been raised about this claim, in particular on the basis of a library slip showing that he had requested Skolem's paper in 1928. It is shown that this library slip does not constitute evidence against Gödel's claim, and that, on the contrary, the library slip and other archive material actually corroborate what Gödel said.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  9
    The development of intuitionistic logic.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy. The Meta-27here I Am Assuming That’Evidence’Provides the Basis for One’s Doxastic Justification. Additionally, I:en ligne.
  9.  94
    Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuum.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.
    Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that Weyl's conception of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  10.  33
    Monads and Sets: On Gödel, Leibniz, and the Reflection Principle.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag. pp. 3-33.
    Gödel once offered an argument for the general reflection principle in set theory that took the form of an analogy with Leibniz' Monadology. I discuss the mathematical and philosophical background to Gödel's argument, reconstruct the proposed analogy in detail, and argue that it has no justificatory force.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  25
    Two Draft Letters from Gödel on Self-Knowledge of Reason.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag. pp. 255-261.
    In his text 'The modern development of the foundations of mathematics in the light of philosophy' from around 1961, Go¨del announces a turn to Husserl's phenomenology to find the foundations of mathematics. In Go¨del's archive there are two draft letters that shed some further light on the exact strategy that he formulated for himself in the early 1960s. Transcriptions of these letters are presented, together with some comments.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Gödel’s Dialectica Interpretation and Leibniz.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag.
  13.  26
    A Note on Leibniz’s Argument Against Infinite Wholes.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag. pp. 121-129.
    Leibniz had a well-known argument against the existence of infinite wholes that is based on the part-whole axiom: the whole is greater than the part. The refutation of this argument by Russell and others is equally well known. In this note, I argue (against positions recently defended by Arthur, Breger, and Brown) for the following three claims: (1) Leibniz himself had all the means to devise and accept this refutation; (2) This refutation does not presuppose the consistency of Cantorian set (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  2
    Gödel and Intuitionism.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag.
    Joint Session of the two Divisions of the International Union for History and Philosophy of Science.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Erratum.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  16. Gödel and Brouwer: Two Rivalling Brothers.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag.
     
    Export citation  
     
    Bookmark  
  17.  7
    Gödel, Mathematics, and Possible Worlds.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag. pp. 355-363.
  18. Introduction.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  19. Phenomenology of Mathematics.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag.
     
    Export citation  
     
    Bookmark  
  20.  5
    Construction and Constitution in Mathematics.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag. pp. 43-90.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Monads and Sets: On Gödel, Leibniz, and the Reflection Principle.Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag.
    Gödel once offered an argument for the general reflection principle in set theory that took the form of an analogy with Leibniz' Monadology. I discuss the mathematical and philosophical background to Gödel's argument, reconstruct the proposed analogy in detail, and argue that it has no justificatory force.
    No categories
     
    Export citation  
     
    Bookmark  
  22.  55
    Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.
    Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis provides an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. On the Philosophical Development of Kurt Gödel.Juliette Kennedy & Mark van Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag.
  24.  46
    Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer.Robert Tragesser, Mark van Atten & Mark Atten (eds.) - 2015 - Cham: Springer Verlag.
    We compare Gödel’s and Brouwer’s explorations of mysticism and its relation to mathematics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  25. Mysticism and Mathematics: Brouwer, Gödel, and the Common Core Thesis.Robert Tragesser, Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag.
  26. Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuumt.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.
    Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that Weyl's conception of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  27.  59
    Johannes Dauberts Notizen zu Husserls Mathematisch-philosophischen Übungen vom SS 1905.Johannes Daubert, Mark van Atten & Karl Schuhmann - 2004 - New Yearbook for Phenomenology and Phenomenological Philosophy 4 (1):288-317.
  28.  54
    Construction and Constitution in Mathematics.Mark van Atten - 2010 - New Yearbook for Phenomenology and Phenomenological Philosophy 10 (1):43-90.
    In the following, I argue that L. E. J. Brouwer's notion of the construction of purely mathematical objects and Edmund Husserl's notion of their constitution coincide.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  29.  48
    Gödel’s Modernism.Juliette Cara Kennedy & Mark van Atten - 2004 - Graduate Faculty Philosophy Journal 25 (2):289-349.
    On Friday, November 15, 1940, Kurt Gödel gave a talk on set theory at Brown University. The topic was his recent proof of the consistency of Cantor’s Continuum Hypothesis with the axiomatic system ZFC for set theory. His friend from their days in Vienna, Rudolf Carnap, was in the audience, and afterward wrote a note to himself in which he raised a number of questions on incompleteness.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  63
    Lectures on Being and Time (1998).Gian-Carlo Rota & Mark van Atten - 2008 - New Yearbook for Phenomenology and Phenomenological Philosophy 8 (1):225-319.
  31.  23
    Gödel’s Modernism.Mark van Atten - 2004 - Graduate Faculty Philosophy Journal 25 (2):289-349.
    On Friday, November 15, 1940, Kurt Gödel gave a talk on set theory at Brown University. The topic was his recent proof of the consistency of Cantor’s Continuum Hypothesis with the axiomatic system ZFC for set theory. His friend from their days in Vienna, Rudolf Carnap, was in the audience, and afterward wrote a note to himself in which he raised a number of questions on incompleteness.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  85
    Brouwer, as never read by Husserl.Mark van Atten - 2003 - Synthese 137 (1-2):3-19.
    Even though Husserl and Brouwer have never discussed each other's work, ideas from Husserl have been used to justify Brouwer's intuitionistic logic. I claim that a Husserlian reading of Brouwer can also serve to justify the existence of choice sequences as objects of pure mathematics. An outline of such a reading is given, and some objections are discussed.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33. On Brouwer.Mark van Atten - 2004 - Wadsworth Publishing Company.
    ON BROUWER, like other titles in the Wadsworth Philosopher's Series, offers a concise, yet comprehensive, introduction to this philosopher's most important ideas. Presenting the most important insights of well over a hundred seminal philosophers in both the Eastern and Western traditions, the Wadsworth Philosophers Series contains volumes written by scholars noted for their excellence in teaching and for their well-versed comprehension of each featured philosopher's major works and contributions. These titles have proven valuable in a number of ways. Serving as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  34.  15
    Arguments for the Continuity Principle. [REVIEW]Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.
    There are two principles that lend Brouwer's mathematics the extra power beyond arithmetic. Both are presented in Brouwer's writings with little or no argument. One, the principle of bar induction, will not concern us here. The other, the continuity principle for numbers, occurs for the first time in print in [4]. It is formulated and immediately applied to show that the set of numerical choice sequences is not enumerable. In fact, the idea of the continuity property can be dated fairly (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. On Gödel's Logic.Juliette Kennedy & Mark van Atten - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier.
     
    Export citation  
     
    Bookmark  
  36.  9
    Conflit d’intérêts et déontologies : l’échec des déontologies existantes et l’improbable succès de la loi.Jean-Paul Markus - 2014 - Médecine et Droit 2014 (124):9-22.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  18
    Brouwer’s Argument for the Unity of Scientific Theories.Mark van Atten - 2002 - Vienna Circle Institute Yearbook 9:95-102.
    The Dutch mathematician and philosopher L.E.J. Brouwer is well known for his ground-breaking work in topology and his iconoclastic philosophy of mathematics, intuitionism. What is far less well known is that Brouwer mused on the philosophy of the natural sciences as well. Later in life he also taught courses in physics at the University of Amsterdam.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  33
    Dummett's objection to the ontological route to intuitionistic logic: a rejoinder.Mark van Atten - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):725-742.
    ABSTRACT In ‘The philosophical basis of intuitionistic logic’, Michael Dummett discusses two routes towards accepting intuitionistic rather than classical logic in number theory, one meaning-theoretical and the other ontological. He concludes that the former route is open, but the latter is closed. I reconstruct Dummett's argument against the ontological route and argue that it fails. Call a procedure ‘investigative’ if that in virtue of which a true proposition stating its outcome is true exists prior to the execution of that procedure; (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  67
    Gödel, mathematics, and possible worlds.Mark van Atten - 2001 - Axiomathes 12 (3-4):355-363.
  40.  7
    Mathematics.Mark van Atten - 2006 - In Hubert L. Dreyfus & Mark A. Wrathall (eds.), A Companion to Phenomenology and Existentialism. Oxford, UK: Blackwell. pp. 585–599.
    This chapter contains sections titled: Connecting Phenomenology and Mathematics Transcendental Phenomenology as a Foundation of Mathematics Examples.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction.Mark Van Atten & Göran Sundholm - 2017 - History and Philosophy of Logic 38 (1):24-47.
    We present a new English translation of L.E.J. Brouwer's paper ‘De onbetrouwbaarheid der logische principes’ of 1908, together with a philosophical and historical introduction. In this paper Brouwer for the first time objected to the idea that the Principle of the Excluded Middle is valid. We discuss the circumstances under which the manuscript was submitted and accepted, Brouwer's ideas on the principle of the excluded middle, its consistency and partial validity, and his argument against the possibility of absolutely undecidable propositions. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42. On the philosophical development of Kurt gödel.Mark van Atten & Juliette Kennedy - 2003 - Bulletin of Symbolic Logic 9 (4):425-476.
    It is by now well known that Gödel first advocated the philosophy of Leibniz and then, since 1959, that of Husserl. This raises three questions:1.How is this turn to Husserl to be interpreted? Is it a dismissal of the Leibnizian philosophy, or a different way to achieve similar goals?2.Why did Gödel turn specifically to the later Husserl's transcendental idealism?3.Is there any detectable influence from Husserl on Gödel's writings?Regarding the first question, Wang [96, p.165] reports that Gödel ‘[saw] in Husserl's work (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  43.  15
    The development of intuitionistic logic.Mark van Atten - unknown
  44.  57
    The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark Van Atten & Göran Sundholm - unknown
    Brouwer's demonstration of his Bar Theorem gives rise to provocative questions regarding the proper explanation of the logical connectives within intuitionistic and constructivist frameworks, respectively, and, more generally, regarding the role of logic within intuitionism. It is the purpose of the present note to discuss a number of these issues, both from an historical, as well as a systematic point of view.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  45.  41
    Why Husserl should have been a strong revisionist in mathematics.Mark van Atten - 2002 - Husserl Studies 18 (1):1-18.
    Husserl repeatedly has claimed that (1) mathematics without a philosophical foundation is not a science but a mere technique; (2) philosophical considerations may lead to the rejection of parts of mathematical practice; but (3) they cannot lead to mathematical innovations. My thesis is that Husserl's third claim is wrong, by his own standards.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46.  16
    One Hundred Years of Intuitionism : The Cerisy Conference.Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann - 2008 - Birkhäuser Basel.
    Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47.  88
    Arguments for the continuity principle.Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.
    There are two principles that lend Brouwer's mathematics the extra power beyond arithmetic. Both are presented in Brouwer's writings with little or no argument. One, the principle of bar induction, will not concern us here. The other, the continuity principle for numbers, occurs for the first time in print in [4]. It is formulated and immediately applied to show that the set of numerical choice sequences is not enumerable. In fact, the idea of the continuity property can be dated fairly (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  48.  71
    A Note on Leibniz's Argument Against Infinite Wholes.Mark van Atten - 2011 - British Journal for the History of Philosophy 19 (1):121-129.
    Leibniz had a well-known argument against the existence of infinite wholes that is based on the part-whole axiom: the whole is greater than the part. The refutation of this argument by Russell and others is equally well known. In this note, I argue (against positions recently defended by Arthur, Breger, and Brown) for the following three claims: (1) Leibniz himself had all the means to devise and accept this refutation; (2) This refutation does not presuppose the consistency of Cantorian set (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  32
    Gödel's Logic.Mark van Atten & Juliette Kennedy - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 449-509.
  50.  24
    Luitzen egbertus Jan Brouwer.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy.
1 — 50 / 1000